منابع مشابه
STIT is dangerously undecidable
STIT is a potential logical framework to capture responsibility, counterfactual emotions and norms, which are main ingredients for specifying behaviors of virtual agents. We identify here a new fragment and its satisfiability problem is NPcomplete and in Σ3 when the number of agents is unbounded. We also identify a slightly more expressive fragment which is undecidable. This fragment is used to...
متن کاملDriving dangerously to save lives.
Correspondence: Samrat Sinha, MA, PhD Centre for Study of Political Violence Jindal School of International Affairs Sonipat Narela Road Sonipat, Haryana 131001 NCR of Delhi, India E-mail: [email protected] The article ‘‘In the Line of Duty: A Study of Ambulance Drivers During the 2010 Conflict in Kashmir’’ provides critical insights into the nature of risks faced by local health care workers...
متن کاملLiving dangerously on borrowed time during slow, unrecognized regime shifts.
Regime shifts from one ecological state to another are often portrayed as sudden, dramatic, and difficult to reverse. Yet many regime shifts unfold slowly and imperceptibly after a tipping point has been exceeded, especially at regional and global scales. These long, smooth transitions between equilibrium states are easy to miss, ignore, or deny, confounding management and governance. However, ...
متن کاملThe Dangerously Venomous Snakes of Myanmar Illustrated Checklist with Keys
No fewer than 39 species of dangerously venomous snakes are currently known to inhabit Myanmar and the adjacent coastal waters. Of these, 15 are sea snakes and except for two, Laticauda colubrina and Laticauda laticauda, none voluntarily come onto land (occasionally, obligate marine species may be carried onto shore during severe weather by wave action or enter river deltas in brackish water). ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Metropolitan Universities
سال: 2018
ISSN: 1047-8485
DOI: 10.18060/22683